Arrow Decision Logic
نویسندگان
چکیده
In this paper, we propose arrow decision logic (ADL), which combines the main features of decision logic and arrow logic. Decision logic represents and reasons about knowledge extracted from decision tables based on rough set theory, while arrow logic is the basic modal logic of arrows. The semantic models of ADL are pairwise comparison tables, which are useful in rough set-based multicriteria analysis. Consequently, ADL can represent preference knowledge induced from multicriteria decision tables.
منابع مشابه
Arrow Index of a Fuzzy Choice Function
The Arrow index of a fuzzy choice function C is a measure of the degree to which C satisfies the Fuzzy Arrow Axiom, a fuzzy version of the classical Arrow Axiom. The main result of this paper shows that A(C) characterizes the degree to which C is full rational. We also obtain a method for computing A(C). The Arrow index allows to rank the fuzzy choice functions with respect to their rationality...
متن کاملArrow Update Synthesis
In this contribution we present arbitrary arrow update model logic (AAUML). This is a dynamic epistemic logic or update logic. In update logics, static/basic modalities are interpreted on a given relational model whereas dynamic/update modalities induce transformations (updates) of relational models. In AAUML the update modalities formalize the execution of arrow update models, and there is als...
متن کاملThe undecidability of arbitrary arrow update logic
Arbitrary Arrow Update Logic is a dynamic modal logic that uses an arbitrary arrow update modality to quantify over all arrow updates. Some properties of this logic have already been established, but until now it remained an open question whether the logic’s satisfiability problem is decidable. Here, we show that the satisfiability problem of Arbitrary Arrow Update Logic is co-RE hard, and ther...
متن کاملArrow Update Logic
We present Arrow Update Logic, a theory of epistemic access elimination that can be used to reason about multi-agent belief change. While the belief-changing “arrow updates” of Arrow Update Logic can be transformed into equivalent belief-changing “action models” from the popular Dynamic Epistemic Logic approach, we prove that arrow updates are sometimes exponentially more succinct than action m...
متن کاملFraming Effects and Modal Illusions: How to Characterize Framing Effects as An Intensional Phenomenon?
Empirically observed cognitive biases raise a challenge for the more formal and normative approach to rationality. Logicians, when facing these cases, can be led to reflect on some basic principles of theirs. Framing effects have been defined in terms of an intensional phenomenon (Schick, 1997). Framing effects can basically be defined as such: they occur when equivalent descriptions of a decis...
متن کامل